421. Computer aided proofs in analysis

Library: Central Library of Sharif University of Technology (Tehran)

Subject: ، Numerical analysis-- Data processing-- Congresses

Classification :
QA
297
.
C638
1991

431. Computer approximations

Author:

Library: Tehran University, technical faculty libraries 1 (Tehran)

Subject: Electronic data processing--Numerical analysis

Classification :
QA
297
.
C64

434. Computer evaluation of mathematical functions

Author:

Library: Library of College of Science University of Tehran (Tehran)

Subject: Numerical analysis -- Data processing,Functions

Classification :
QA
297
.
F5
1968